Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
821	PDF Document Add to Reading List Source URL: www.arcticnet.ulaval.ca Language: English - Date: 2013-12-20 13:58:17 Information Inuit Nunatsiavut Formal ontology Geographic information system Nain Newfoundland and Labrador Labrador Inuktitut Concept map Knowledge representation Ontology Science
822	PDF Document Add to Reading List Source URL: ii.nlm.nih.gov Language: English - Date: 2013-09-14 18:21:17 String Linguistics Mathematics Computing Unified Medical Language System Formal languages SNOMED CT
823	PDF Document Add to Reading List Source URL: ii.nlm.nih.gov Language: English - Date: 2013-09-14 18:21:17 Unified Medical Language System Formal languages SNOMED CT Parsing String Filter Search engine indexing Information science Library science Science
824	PDF Document Add to Reading List Source URL: ii.nlm.nih.gov Language: English - Date: 2013-09-14 18:21:17 Linguistics Mathematics Computing Unified Medical Language System Formal languages String
825	PDF Document Add to Reading List Source URL: ii.nlm.nih.gov Language: English - Date: 2013-09-14 18:21:17 Unified Medical Language System Medical informatics Nursing informatics Medical classification Formal languages Glycogen branching enzyme LOINC Glucan String Health informatics Computing Health
826	The Italy – Albania Remittance Corridor Shifting from the Physical Transfer of Cash to a Formal Money Transfer System Presented at the Conference on Add to Reading List Source URL: siteresources.worldbank.org Language: English - Date: 2007-05-02 09:11:12 International economics Human migration Development Albania Development aid Remittances Europe International relations
827	The University of York Department of Computer Science Submitted in part fulfilment for the degree of MSc in Software Engineering. Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:40 Monolithic kernels Microkernel Kernel Separation kernel Formal methods Linux kernel Operating system Operating system kernels Hybrid kernel Computer architecture Software System software
828	Formal Modelling of Separation Kernel Components Andrius Velykis and Leo Freitas University of York, UK [removed], [removed] Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:41 Scheduling algorithms Scheduling Linux Microkernel Kernel Separation kernel Linux kernel Process identifier Architecture of Windows NT Computer architecture System software Software
829	eeBDM at ICT4SP 1. Session: Title of the session 1.1. Shared Vocabularies to Support the Creation of Energy Urban Systems Models L. Madrazo Add to Reading List Source URL: www.semanco-project.eu Language: English - Date: 2014-05-27 02:36:00 Data Formal ontology Semantic integration Geographic information system Upper ontology Semantic interoperability Ontology Information Science
830	Filtering the UMLS® Metathesaurus® for MetaMap 2004 Edition Alan R. Aronson July 27, 2004 Add to Reading List Source URL: skr.nlm.nih.gov Language: English - Date: 2005-02-22 01:52:57 String Linguistics Mathematics Computing Unified Medical Language System Formal languages SNOMED CT

UPDATE